Dependence Relation in Pregeometries
نویسندگان
چکیده
The aim of this paper is to set a foundation to separate geometric model theory from model theory. Our goal is to explore the possibility to extend results from geometric model theory to non first order logic (e.g. L! 1;! ). We introduce a dependence relation between subsets of a pregeometry and show that it satisfies all the formal properties that forking satisfies in simple first order theories. This happens when one is trying to lift forking to nonelementary classes, in contexts where there exists pregeometries but not necessarily a well-behaved dependence relation (see for example [HySh]). We use these to reproduce S. Buechler’s characterization of local modularity in general. These results are used by Lessmann to prove an abstract group configuration theorem in [Le2].
منابع مشابه
Ranks and pregeometries in finite diagrams
The study of classes of models of a finite diagram was initiated by S. Shelah in 1969. A diagram D is a set of types over the empty set, and the class of models of the diagram D consists of the models of T which omit all the types not in D. In this work, we introduce a natural dependence relation on the subsets of the models for the No-stable case which share many of the formal properties of fo...
متن کاملDependence Relations in Nonelementary Classes
We study the classK of models of a first order theory T omitting a prescribed set of types, under the assumption that K contains a model with a high level of sequentialhomogeneity. The stability theory of such classes was initiated by Shelah in 1969. We introduce a rank which is bounded when K is א0-stable. The main difficulties are the failure of the compactness theorem forK and the fact that ...
متن کاملQualifying Exam Syllabus
Basic constructions: The completeness and compactness theorems. The Löwenheim-Skolem theorem. Omitting types. Ultraproducts. Indiscernible sequences. Nice properties: Saturation, homogeneity, and the monster model. Elimination of imaginaries and Meq. Quantifier elimination. Model completeness. Countably categorical theories. Stable theories: Characterizations of a stable formula. Stable, supers...
متن کاملThe geometry of Hrushovski constructions, I: The uncollapsed case
An intermediate stage in Hrushovski’s construction of flat strongly minimal structures produces ω-stable structures of rank ω. We analyze the pregeometries given by forking on the regular type of rank ω in these structures. A sequel will compare these to the pregeometries of the strongly minimal structures.
متن کاملDependence Logic in pregeometries and ω-stable Theories
We present a framework for studying the concept of independence in a general context covering database theory, algebra and model theory as special cases. We show that well-known axioms and rules of independence for making inferences concerning basic atomic independence statements are complete with respect to a variety of semantics. Our results show that the uses of independence concepts in as d...
متن کامل